﻿body {
    display: block;
    margin: 0;
    padding-bottom: 50px;
    overflow-y: scroll;
    background-size: cover;
}

#page {
    min-height: 100%;
}
.navbar-fixed-top {
    background-color:#fff;
    border:none;
    box-shadow:0px 1px 3px #c4c4c4;
}
.navbar-fixed-bottom
{
    padding-top:4px;
    background-color:#fff;
    height:20px;
    min-height:32px;
    border-color:#c4c4c4;
}
.navbar-brand
{
    color:#808080;
}
.navbar-inverse .navbar-brand:hover {
    color: #808080;
}
    .navbar-inverse .navbar-nav > li > a:hover {
        color: #808080;
        text-decoration: none
    }
.navbar-inverse .navbar-nav > li > a:active {
    color: #808080;
    text-decoration: none
}
a:hover {
    color: #808080;
    text-decoration: none
}
.view_code
{
    position:fixed;
    left:20px;
    top:60px;
    right:20px;
    bottom:40px;
}
.view_tree {
    position: fixed;
    right: 20px;
    top: 80px;
    left: 52vw;
    bottom: 50px;
}